properties of the lambert w function